منابع مشابه
dedekind modules and dimension of modules
در این پایان نامه، در ابتدا برای مدول ها روی دامنه های پروفر شرایط معادل به دست آورده ایم و خواصی از ددکیند مدول ها روی دامنه های پروفر مشخص کرده ایم. در ادامه برای ددکیند مدول های با تولید متناهی روی حلقه های به طور صحیح بسته شرایط معادل به دست آورده ایم و ددکیند مدول های ضربی را مشخص کرده ایم. گزاره هایی در مورد بعد ددکیند مدول ها بیان کرده ایم. در پایان، قضایای lying over و going down را برا...
15 صفحه اولinjective modules and prime ideals
محور اصلی این پایان نامه، r- مدولهای a – انژکتیو می باشد که آنها را به عنوان یک تعمیم از مدول های انژکتیو معرفی می کنیم. در ابتدا مدول های انژکتیو را معرفی کرده، سپس برخی نتایج مهم وشناخته شده مدول های انژکتیو را به مدول های a – انژکتیو تعمیم می دهیم. در ادامه رابطه بین مدول های a – انژکتیو و حلقه های نوتری را بررسی می کنیم. پس هدف کلی این پایان نامه این است که با بررسی انژکتیو بودن ایده آله...
15 صفحه اولAn Existence Results on Positive Solutions for a Remarks on k-Torsionless Modules
Let R be a commutative Noetherian ring. The k-torsionless modules are defined in [7] as a generalization of torsionless and reflexive modules, i.e., torsionless modules are 1-torsionless and reflexive modules are 2-torsionless. Some properties of torsionless, reflexive, and k-torsionless modules are investigated in this paper. It is proved that if M is an R-module such that G-dimR(M)
متن کاملTrace Specifications of Non-Deterministic Multi-Object Modules
The Trace Assertion Method (in short: TAM) is a formal method for abstract specification of interfaces of software modules being designed according to the “information hiding” principle. A trace specification is a “black-box” specification, i.e., it describes only those features of a module that are externally observable. The method was introduced by W. Bartusek and D.L. Parnas some 15 years ag...
متن کاملBuild, Augment and Destroy, Universally
We give a semantic footing to the fold/build syntax of programming with inductive types, covering shortcut deforestation, based on a universal property. Specifically, we give a semantics for inductive types based on limits of algebra structure forgetting functors and show that it is equivalent to the usual initial algebra semantics. We also give a similar semantic account of the augment general...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1976
ISSN: 0002-9947
DOI: 10.2307/1999718